#include<stdio.h>
int main()
{
	int n,sum=0,ans=0;
	scanf("%d",&n);
	for(int i=1;i<=10010;i++){
		for(int j=1;j<=i;j++){
			if(ans==n) break;
			sum+=i;
			ans++;
		}
	}
	printf("%d",sum);
	return 0;
}
